161. Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings
پدیدآورنده : Charles Rattray, Savitri Maharaj, Carron Shankland )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
3116
162. Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings
پدیدآورنده : Teodor Rus )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1816
163. Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings
پدیدآورنده : Helene Kirchner, Christophe Ringeissen )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Software engineering,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2422
164. Algebraic methods II : theory, tools, and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer software-- Development-- Congresses,، Algebra-- Congresses
رده :
QA
76
.
76
.
D47
.
A45
1991
165. Algebraic methods II : theory, tools, and applications
پدیدآورنده : J.A. Bergstra, L.M.G. Feijs, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
490
166. Algebraic methods : theory, tools, and applications
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer software-- Development-- Congresses,، Algebra-- Congresses
رده :
QA
76
.
76
.
D47
.
A44
1989
167. Algebraic methods : theory, tools, and applications
پدیدآورنده : M. Wirsing, J.A. Bergstra, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Algebra
رده :
QA
76
.
L28
Vol
.
394
168. Algorithm engineering
پدیدآورنده : / Gerth St?lting Brodal, Daniele Frigioni, Alberto Marchetti-Spaccamela (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer algorithms--Congresses,Software engineering--Congresses
رده :
QA
,
76
.
9
,.
A43
,
I59
,
2001
169. Algorithm engineering : 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 : proceedings
پدیدآورنده : Jeffrey S. Vitter, Christos D. Zaroliagis )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer algorithms,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1668
170. Algorithm engineering : 5th International Workshop, WAE 2001, Aarhus, Denmark, August 28-21, 2001 : proceedings
پدیدآورنده : Gerth Stolting Brodal, Daniele Frigioni, Alberto Marchetti-Spaccamela )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer algorithms,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2141
171. Algorithm engineering : 4th international workshop, WAE 2000, Saarbrucken, Germany, September 2000 : proceedings
پدیدآورنده : Stefan Naher, Dorothea Wagner )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer algorithms,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
1982
172. Algorithms and data structures :
پدیدآورنده : Selim G. Akl [and others] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Computer software.,Data structures (Computer science) -- Congresses.
173. Applications and usability of interactive television :
پدیدآورنده : María José Abásolo, Jorge Abreu, Pedro Almeida, Telmo Silva (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Interactive television, Congresses.,Application software.,Business & Economics-- Information Management.,Computer graphics.,Computer networking & communications.,Computer organization.,Computer science.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Online Services-- General.,Computers-- Web-- Web Programming.,Computers.,Information architecture.,Information technology: general issues.,Management information systems.,Web programming.
رده :
TK6679
.
3
A66
2017
174. Applied Informatics and Communication
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Congresses,Computer networks -- Congresses,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها,شبکه‌های کامپیوتری -- کنگره‌ها,نرم‌افزار -- مهندسی -- کنگره‌ها
رده :
E-Book
,
175. Approaches to intelligent agents : Second Pacific Rim International Workshop on Multi-Agents, PRIMA'99, Kyoto, Japan, December 2-3, 1999 : proceedings
پدیدآورنده : Hideyuki Nakashima, Chengqi Zhang )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
1733
176. Approving software products
پدیدآورنده : / Edited by Wolfgang Ehrenberger
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Computer Software-- Evaluation -- Congresses,Computer Software -- Quality control -- Congresses
رده :
QA
76
.
76
.
E93I35
1990
177. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
178. Argumentation in multi-agent system
پدیدآورنده : / Iyad Rahwan, Pavlos Moraitis (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Intelligent agents (Computer software)--Congresses,Logic--Congresses
رده :
QA
,
76
.
76
,.
I58
,
A73
,
2009
179. Argumentation in multi-agent system
پدیدآورنده : / Iyad Rahwan, Simon Parsons, Chris Reed (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Intelligent agents (Computer software)--Congresses,Logic--Congresses
رده :
QA
,
76
.
76
,.
I58
